COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00003 ENDMK
C⊗;
.require "let.pub" source
∂AIL Jon Doyle↓Artificial Intelligence Laboratory
↓545 Technology Square↓Cambridge, Mass. 02139∞

Dear Jon:

	Enclosed is a copy of my %2AI Journal%1 paper on circumscription.
You will note that the formalism is considerably changed from the
earlier version in that I now minimize the extensions of predicates
rather than the set of elements in the domain.  The older form comes
out as a special case.  This makes circumscription close to your work
and Ray Reiter's, but as the additional note shows, there remain
important differences.

.reg